I am an Associate Professor at the Department of Informatics of the University of Minho and a senior researcher at HASLab - INESC TEC. I mainly work on the application of formal software engineering techniques and tools to the modelling and analysis of interactive system.  Current and...

Benedita Malheiro holds a five-year degree in Electrical Engineering, and an M.Sc. and a Ph.D. in Electrical and Computers Engineering, all from the University of Porto. She is a Coordinator Professor at the Electrical Engineering Department of Instituto Superior de Engenharia do Porto, the School o...

I hold a degree in industrial engineering from UEPA (2005) and I also obtained in 2007 an independent Master’s degree in industrial engineering from the Federal University of Santa Catarina (UFSC). I joined PRODEGI /FEUP in 2013 and since then, I have been conducting studies in the field of...

Electrical engineering formation with an emphasis on electronic systems and a master's in electrical engineering from the Federal University of Juiz de Fora, his training allowed him to have competence in the area of digital and analog electronics. However, the central area of expertise is roboti...

Ana F. Sequeira holds a PhD in Electrical and Computing Engineering obtained from the Engineering Faculty of University of Porto, Portugal in 2015. Ana also holds a Master degree in Mathematical Engineering and a 5-years degree in Mathematics, both obtained from the Mathematics Department of the...

Paulo Rebelo completed is master degree in Electrical and Computers Engineering, in the filed of industrial automation in March 2017, with a specialization in industrial robotics at FEUP - Faculty of Engineering of the University of Porto. During the year of 2016, he developed his master thesis i...

Associate Professor of the Faculty of Engineering of the University of Porto (FEUP). Degree in Industrial Engineering and Management from FEUP (1995). PhD in Industrial and Business Studies from Warwick Business School, UK (1999). The main research area is Operational Research, with emphasis on t...